<?php

class autoload_derived extends autoload_root {
}

?>
